$\forall$$T$:Type, $a$:$T$, $Q$:($T$$\rightarrow$Prop). ($a$ =!$x$:$T$. $Q$($x$)) $\Rightarrow$ $a$ $\in$ \{!$x$:$T$ $\mid$ $Q$($x$)\}